/**
 * Copyright (c) 2006 Amgad S Youssef
 * All Rights Reserved.
 * Licensed under the Eclipse Public License - v 1.0
 * For more information see http://www.eclipse.org/legal/epl-v10.html
 */
package org.eclipsejcde.jcbp.builder;

import org.eclipsejcde.core.builder.JavacardBuilder;
import org.eclipsejcde.jcbp.JCBPCore;
import org.eclipsejcde.jcbp.builder.checkers.AppletConstructorsChecker;
import org.eclipsejcde.jcbp.builder.checkers.SIProxyChecker;
import org.eclipsejcde.jcbp.builder.checkers.SOSAppletChecker;
import org.eclipsejcde.jcbp.builder.checkers.SOSFrameworkChecker;
import org.eclipsejcde.jcbp.builder.checkers.SuperShareablesCountChecker;

/**
 * @author Amgad S Youssef
 * 
 */
public class JCBPBuilder extends JavacardBuilder {
	@Override
	protected void initializeCheckers() {
		addChecker(new AppletConstructorsChecker());
		addChecker(new SuperShareablesCountChecker());
		addChecker(new SOSFrameworkChecker());
		addChecker(new SIProxyChecker());
		addChecker(new SOSAppletChecker());
	}

	@Override
	protected String getMarkerID() {
		return JCBPCore.MARKER_TYPE;
	}

}
